Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Source URL: web.cs.wpi.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Hardware verification languages
• Aspect-oriented software development
• Formal verification
• Model checking
• Abstraction
• E
• Communications protocol
• Modularity
• Construction and Analysis of Distributed Processes

IMPROVING MOVING MAPS: A SYSTEM FOR FEATURE SELECTION BASED ON A NEW COGNITIVE MODEL Paul Van Zuyle Dept. of Geography University of California Santa Barbara, CA 93106

Source URL: mapcontext.com

• Cartography
• Cartographic generalization
• Generalization
• Topological map
• Map
• Geographic information system
• Level of detail
• Distance
• Scale
• Conceptual model

Code Generation to Support Static and Dynamic Composition of Software Product Lines Marko Rosenm¨uller, Norbert Siegmund, Gunter Saake School of Computer Science, University of Magdeburg, Germany

Source URL: www.infosun.fim.uni-passau.de

• Object-oriented programming
• Inheritance
• Factory
• Class
• Type system
• Polymorphism
• Late binding
• Objective-C
• Library
• Feature model
• This
• Inner class

Improving Reuse of Component Families by Generating Component Hierarchies Marko Rosenmüller Norbert Siegmund

Source URL: wwwiti.cs.uni-magdeburg.de

• Object-oriented programming
• Inheritance
• Subtyping
• Feature model
• Is-a
• Class
• Mixin
• Multiple inheritance
• Code reuse
• Polymorphism
• Factory
• Common Lisp Object System

A Model of Zero-Shot Learning of Spoken Language Understanding Majid Yazdani Computer Science Department University of Geneva

Source URL: majid.yazdani.me

• Statistical classification
• Machine learning
• Artificial neural networks
• Support vector machine
• Word embedding
• Feature learning
• Multi-label classification
• Word2vec
• Margin classifier
• Language model

AutomaticEnergyOptimization.pdf

Source URL: www.infosun.fim.uni-passau.de

• Energy conservation
• Energy
• Program optimization
• Energy management
• Algorithm
• Feature model
• Wireless sensor network
• Operating system
• C++
• Mathematical optimization
• Run-time estimation of system and sub-system level power consumption
• Green computing

University of Magdeburg School of Computer Science Bachelor Thesis Improving Usability of UML Modeling Tools for Feature-Based Product Line Development

Source URL: wwwiti.cs.uni-magdeburg.de

• Software engineering
• Computing
• Software
• Unified Modeling Language
• Diagrams
• Integrated development environments
• Systems engineering
• IBM software
• Enterprise Architect
• UML tool
• Rational Rhapsody
• Model-driven engineering

Model Kit Report Keith Pruitt Keith’s Picks for the Month So many fine kits it’s impossible to feature them all irfix has released its 1/72 Heinkel He111P-2

Source URL: www.hobbymerchandiser.com

FeatureIDE: A Tool Framework for Feature-Oriented Software Development Christian K¨astner, Thomas Th¨um, Gunter Saake School of Computer Science University of Magdeburg, Germany {kaestner,thuem,saake}@iti.cs.uni-magdeb

Source URL: www.infosun.fim.uni-passau.de

• Software
• Computing
• Feature-oriented programming
• Aspect-oriented software development
• Systems engineering
• Software design
• Software development process
• Feature model
• Software development
• Software product line
• Domain-specific language
• Domain engineering

Journal of Machine Learning Research2038 Submitted 12/08; Revised 5/09; Published 9/09 Ultrahigh Dimensional Feature Selection: Beyond The Linear Model Jianqing Fan

Source URL: jmlr.csail.mit.edu